Specifying and Verifying 
 Concurrent
 Algorithms with 
 Histories and Subjectivity memoria software v3.qxd

Source URL: software.imdea.org

• Algebra
• Mathematics
• Abstract algebra
• Semigroup theory
• Algebraic structures
• Mathematical logic
• Category theory
• Monoid
• Algorithm
• Concurrent algorithm

Basic Elements of Logical Graphs Lucas Dixon CAM-CAD 2009 Abstract We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation

Source URL: homepages.inf.ed.ac.uk

Abstract Path Planning for Multiple Robots: An Empirical Study Pavel Surynek Charles University in Prague Faculty of Mathematics and Physics Department of Theoretical Computer Science and Mathematical Logic Malostranské

Source URL: iti.mff.cuni.cz

An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester

Source URL: ceur-ws.org

Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

Source URL: www.cs.yale.edu

• Logic in computer science
• Symposium on Principles of Programming Languages
• International Semantic Web Conference
• Separation logic
• Automated reasoning
• Computer Aided Verification
• Abstract interpretation
• Vasant Honavar
• Vienna Summer of Logic

On the Complexity of Abstract Categorial Grammars In this abstract we investigate the respective complexities of the membership and the universal membership problems for Abstract Categorial Grammars [dG01]. This problem

Source URL: wwwhomes.uni-bielefeld.de

• Logic in computer science
• Theoretical computer science
• Mathematics
• Constructible universe
• Mathematical logic
• CurryHoward correspondence
• Table of stars with Bayer designations
• Generalised Whitehead product

Learning Information Extraction Rules: An Inductive Logic Programming approach James Stuart Aitken Abstract. The objective of this work is to learn information extraction rules by applying Inductive Logic Programming (IL

Source URL: www.aiai.ed.ac.uk

Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract

Source URL: www-vvps09.imag.fr

A THEORY OF LEGAL REASONING AND A LOGIC TO MATCH1 JAAP HAGE University of Limburg, Department of Metajuridica, email: Abstract.

Source URL: www.jaaphage.nl

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator